Optimal control theory – closing the gap between theory and experiment

Optimal control theory--closing the gap between theory and experiment.

Optimal control theory and optimal control experiments are state-of-the-art tools to control quantum systems. Both methods have been demonstrated successfully for numerous applications in molecular physics, chemistry and biology. Modulated light pulses could be realized, driving these various control processes. Next to the control efficiency, a key issue is the understanding of the control mech...

MIP: Theory and Practice - Closing the Gap

Closing the Idealization Gap with Theory Generation

Cryptographic protocol design demands careful verification during all phases of development. Belief logics, in the tradition of the Burrows, Abadi, and Needham (BAN) logic of authentication [BAN90], provide a simple, intuitive model, and allow natural expressions of a protocol and its goals. Since manual deduction is error-prone, protocol designers need automated tools to make effective use of ...

the analysis of the role of the speech acts theory in translating and dubbing hollywood films

از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...

Polymorphic Subtype Inference: Closing the Theory-Practice Gap

The theory of polymorphic type inference[Mi178] has been extended to deal with subtypes: Mitchell gave a subtype extension [Mit84], and we have given algorithms and correctness proofs for several key components of a type inference system based on Mitchell's extension [FM88]. However, the actual implementation of a subtype inference system diverges from these theoreticM underpinnings in fundamen...